Concurrency, Time, and Constraints
نویسنده
چکیده
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in a shared medium. Timed (or temporal) ccp extends ccp by allowing agents to be constrained by time requirements. The novelty of timed ccp is that it combines in one framework an operational and algebraic view based upon process calculi with a declarative view based upon temporal logic. This allows the model to benefit from two well-established theories used in the study of concurrency. This essay offers an overview of timed ccp covering its basic background and central developments. The essay also includes an introduction to a temporal ccp formalism called the ntcc calculus.
منابع مشابه
Integrated and Adaptive Optimistic Concurrency Control Method for Real-Time Databases
Real-time database systems must meet time constraints in addition to the integrity constraints. Researchers have speculated that priority cognizant optimistic concurrency control (OCC) methods, if designed well, could outperform priority insensitive ones in real-time database systems. This paper describes an efficient integrated and adaptive concurrency control method for real-time database sys...
متن کاملHybrid Concurrency Control Method in Firm Real-Time Databases
Real-time database system must meet time constraints in addition to the integrity constraints. Concurrency control is one of the main issues in the studies of real-time database systems. Traditional concurrency control methods use serializability as the correctness criterion when transactions are executed concurrently. However, strict serializability as the correctness criterion is not always s...
متن کاملAn Optimistic Concurrency Control Protocol for Real-Time Database Systems
Transactions in real-time database systems are associated with certain timing constraints derived either from temporal consistency requirements of data or from requirements imposed on system reaction time. Fundamental requirements of real-time database systems are timeliness, i.e., the ability to produce expected transaction results early or at the right time, and predictability, i.e., the abil...
متن کاملMaintaining Security in Firm Real-Time Database Systems
Many real-time database systems, such as military institutions and government agencies, are contained in environments that exhibit restricted access of information, where mandatory access control for security is required. Hence, in addition to timing constraints, real-time database systems have security constraints. Conventional multi-level secure database models are inadequate for time-critica...
متن کاملAn Overview of Real-Time Database Systems
A real time database system provides database features such as data independence and concurrency control while at the same time enforcing real time constraints that applications may have In this chapter we give an overview of the problems that arise in designing a real time database system and discuss some of the possible solutions The topics covered include the choice of transaction model the ...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کامل